

#include "vector.h"


int main(){

  double d;
  vm_vector v1;
  vm_vector v2;

  int i = 5000000;
  for ( ; i > 0; i--)
    vm_dot(v1, v2, &d);

}
